function change_text(this_bad,id)
			{
				if (this_bad > 0)
				{
					document.getElementById('intensifier-'+id).style.fontSize = (6 + this_bad * 5) + 'px';
				} else {
					document.getElementById('intensifier-'+id).style.fontSize = '';
				}
			}
